The Reversible Temporal Process Language

Reversible debuggers help programmers to quickly find the causes of misbehaviours in concurrent programs. These can be founded on well-studied theory causal-consistent reversibility, which allows one undo any action provided that its consequences are undone beforehand. Till now, reversibility never considered time, a key aspect real world applications. Here, we study interplay between and time systems via process algebra. The Temporal Process Language (TPL) by Hennessy Regan is well-understood extension CCS with discrete-time timeout operator. We define $$\mathtt {revTPL}$$ , reversible TPL, show it satisfies properties expected from calculus. that, alternatively, interpreted as an time.